Interfacing to the Programmer's Apprentice

The Layered Architecture of a System for Reasoning about Programs

Cake is a hybrid system which provides reasoning facilities for the Programmer's Apprentice. This paper describes the architecture of Cake, which is divided into eight layers, each with associated representations and reasoning procedures. The operation of Cake is illustrated by a complete trace of the solution of an example reasoning problem. We also argue that a hybrid system in general is cha...

Towards a Programmer's Apprentice (Again)

Programmers are loathe to interrupt their workflow to document their design rationale, leading to frequent errors when software is modified—often much later and by different programmers. A Programmer’s Assistant could interact with the programmer to capture and preserve design rationale, in a natural way that would make rationale capture “cost less than it’s worth”, and could also detect common...

From the Programmer's Apprentice to Human-Robot Interaction: Thirty Years of Research on Human-Computer Collaboration

We summarize the continuous thread of research we have conducted over the past thirty years on human-computer collaboration. This research reflects many of the themes and issues in operation in the greater field of AI over this period, such as knowledge representation and reasoning, planning and intent recognition, learning, and the interplay of human theory and computer engineering. Human-Comp...

The Role of Health Care Apprentice Program on the Level of Medical Students’ Knowledge and Skills

Background: According to the important role of Health Care Apprentice Program on medical students’ performance, especially in relation with Social Accountability of Medical Education, it is attempted to assess efficacy of Health Care Apprentice Program on the level of medical students’ knowledge and skills in the context of Primary Health Care at Babol University of Medial Sciences    Methods: ...

Implantable Microsystems for High-Resolution Interfacing to the Brain